Research
Shixin Song*,
Tingzhen Dong*,
Kosi Nwabueze,
Julian Zanders,
Andres Erbsen,
Adam Chlipala,
Mengjia Yan
2023 - 2025
The ACM Conference on Computer and Communications Security (CCS) 2025
Presented a transformation framework that rewrites cryptographic assembly programs to separate secret and public stack data, facilitating secure speculation using hardware taint tracking.
Shixin Song,
Joseph Zhang,
Mengjia Yan
2022 - 2024
The Network and Distributed System Security (NDSS) Symposium 2025
Presented a software-hardware co-design mitigation that strengthens ASLR against microarchitectural side-channel attacks.
